Add a defensive batched tlb flush to free_page_type(), to
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Dec 2005 17:56:24 +0000 (18:56 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 2 Dec 2005 17:56:24 +0000 (18:56 +0100)
commit5e4eea77eec11301284ce4810885ba74a3bd2b17
tree06ba504ad2c434eccb226bd48b36807838339f85
parent773ded42218d434302b31aa4501649534c62e6d0
Add a defensive batched tlb flush to free_page_type(), to
ensure the linear_pg_table remains in sync with modified
page table structure. Otherwise we can update stale entries
and screw reference counts (but probably only when running
a malicious domain).

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c